Nachtrag zu meiner Abhandlung S. 115 dieses Hefts
نویسندگان
چکیده
منابع مشابه
Automatenbasierte Entscheidungsverfahren für Teilsysteme der Arithmetik
Vor ungefähr vierzig Jahren wurde entdeckt, dass Automaten ein nützliches mathematisches Werkzeug sind, um die Entscheidbarkeit bestimmter Teilsysteme der Arithmetik zu verstehen. Heutzutage werden Automaten auch als Werkzeug eingesetzt, um Entscheidungsverfahren für eben solche logischen Theorien umzusetzen. Meine Dissertation behandelt Fragestellungen aus eben diesem Bereich zwischen Automate...
متن کاملMethoden- und Werkzeugunterstützung für ontologiebasierte Software-Entwicklung (OBSE)
Dieser Artikel liefert einen Überblick über die Aufgabenstellung und die Lösungsansätze, die im Rahmen meiner Dissertation erarbeitet werden sollen. Sie ist ein Bestandteil unseres laufenden Projekts zur ontologie-basierten SoftwareEntwicklung (OBSE). Dieses wird zunächst kurz vorgestellt, um das Umfeld der Aufgabe zu skizzieren. Die Strukturierung der Domänen-Ontologien und deren Integration i...
متن کامل115 Polmear.qxd
Background. All children with urinary tract infections (UTIs) should undergo imaging of the urinary tract. The Royal College of Radiologists currently recommends that such children should be referred to a paediatric specialist prior to imaging. Aim. To investigate whether direct referral of such children by general practitioners (GPs) for imaging offers advantages over the traditional approach....
متن کاملCersten Jakob: Von Prüfungsangst zu Prüfungsmut, von Lampenfieber zu Auftrittslust
1. The author of this book wants to reveal ways leading to more confidence and calmness in exams and while performing in front of small or larger audiences. A short introduction is followed by a definition of the term stage fright and a distinction between useful and obstructive types (stage fright). The complexity of the phenomena stage fright and exam anxiety is vividly visualised on the basi...
متن کاملWege zu VoIP - Konvergenztechnologie
VoIP ist zwar als Fachthema wegen der einhergehenden technischen Besonderheiten und in dem Bereich der Kommunikationsinfrastruktur bei Unternehmen in aller Munde, jedoch findet die VoIP-Technologie noch keinen flächendeckenden Einzug als Arbeitsmittel an deutschen Hochschulen und Forschungseinrichtungen. Neben der Tatsache, dass die meisten Hochschulen als Landesbetrieb an das Haushaltsrecht de...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annalen der Physik und Chemie
سال: 1856
ISSN: 0003-3804,1521-3889
DOI: 10.1002/andp.18561740521